infinitary logic

無窮邏輯